The RuleML Family of Web Rule Languages
نویسنده
چکیده
The RuleML family of Web rule languages contains derivation (deduction) rule languages, which themselves have a webized Datalog language as their inner core. Datalog RuleML’s atomic formulas can be (un)keyed and (un)ordered. Inheriting the Datalog features, Hornlog RuleML adds functional expressions as terms. In Hornlog with equality, such uninterpreted (constructor-like) functions are complemented by interpreted (equation-defined) functions. These are described by further orthogonal dimensions “singlevs. set-valued” and “firstvs. higher-order”. Combined modal logics apply special relations as operators to atoms with an uninterpreted relation, complementing the usual interpreted ones.
منابع مشابه
Representing Uncertainty in RuleML
The RuleML initiative defines a normalized markup for expressing and exchange rules in the Semantic Web. However, the syntax of the language is still limited and lacks features for representing rule-based languages capable of handling uncertainty and vagueness. It is desirable to have a general extension of RuleML which accommodates major existing languages proposed in the latest two decades. T...
متن کاملASP-PROLOG: Composition and Interoperation of Rules
One of the main goals of the Semantic Web initiative [3] is to extend the current Web technology to allow for the development of intelligent agents, which can automatically and unambiguously process the information available on millions of web pages. It has been recognized very early in the development of the Semantic Web that rules are essential for the Web3 and for Semantic Web applications—e...
متن کاملRuleML 1.0: The Overarching Specification of Web Rules
RuleML is a family of languages, whose modular system of XML schemas permits high-precision Web rule interchange. The family’s top-level distinction is deliberation rules vs. reaction rules. Deliberation rules include modal and derivation rules, which themselves include facts, queries (incl. integrity constraints), and Horn rules (incl. Datalog). Reaction rules include Complex Event Processing ...
متن کاملLogics for the Semantic Web
This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical First-Order Logic. Description Logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form ...
متن کاملRules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
In this survey paper we summarize the requirements for rule interchange languages for applications in the legal domain and use these requirements to evaluate RuleML, SBVR, SWRL and RIF. We also present the Legal Knowledge Interchange Format (LKIF), a new rule interchange format developed specifically for applications in the legal domain.
متن کامل